Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
281	VP9 Argon Streams is the only set of test bit-streams providing full coverage for the VP9 standard. Based on formal verification techniques, these bit-streams Add to Reading List Source URL: www.argondesign.com Language: English - Date: 2015-01-12 06:29:37 Digital signal processing Argon Video codec Video Computing Electronic engineering Videotelephony Audio codecs Codec
282	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh Tim French Abstract Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2012-04-29 23:34:56 Data management Computing Two-phase commit protocol Model checking Three-phase commit protocol Uppaal Model Checker Formal verification Atomic commit Transmission Control Protocol Transaction processing Data Information
283	Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio Add to Reading List Source URL: coregrid.ercim.eu Language: English - Date: 2008-09-24 04:08:10 Formal methods Logic in computer science Formal sciences Cybernetics Formal verification Theoretical computer science Model checking Modal logic Deontic logic Logic Mathematical logic Applied mathematics
284	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
285	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
286	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
287	Child Welfare Provisional Degree and Level 2 Background Verification Form Effective Date: Directions Thank you for taking the time to verify the formal education requirement and the Level 2 Background Screening Add to Reading List Source URL: flcertificationboard.org Language: English - Date: 2014-12-17 14:35:06 Credential Identity management Knowledge Organizational behavior Background check Accreditation Professional certification Evaluation Employment Management Recruitment
288	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2010-11-08 10:51:38 Technology Science Software engineering Theoretical computer science Software requirements Formal verification Software verification Formal specification Problem frames approach Software development Formal methods Systems engineering
289	Automated Probabilistic Address Standardisation and Verification http://datamining.anu.edu.au/linkage.html Peter Christen? and Daniel Belacic Department of Computer Science, Australian National University, Add to Reading List Source URL: cs.anu.edu.au Language: English - Date: 2005-12-07 18:17:06 Linguistics Bioinformatics Computational linguistics Formal sciences Hidden Markov model Part-of-speech tagging Speech recognition Lookup table Extract transform load Markov models Science Computing
290	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning

UPDATE